Local + stable adjointness = adjointness
نویسندگان
چکیده
منابع مشابه
Modes of Adjointness
The fact that many modal operators are part of an adjunction is probably folklore since the discovery of adjunctions. On the other hand, the natural idea of a minimal propositional calculus extended with a pair of adjoint operators seems to have been formulated only very recently. This recent research, mainly motivated by applications in computer science, concentrates on technical issues relate...
متن کاملEssential self - adjointness
1. Cautionary example 2. Criterion for essential self-adjointness 3. Examples of essentially self-adjoint operators 4. Appendix: Friedrichs' canonical self-adjoint extensions 5. The following has been well understood for 70-120 years, or longer, naturally not in contemporary terminology. The differential operator T = d 2 dx 2 on L 2 [a, b] or L 2 (R) is a prototypical natural unbounded operator...
متن کاملOn monotone modalities and adjointness
We fix a logical connection (Stone Pred : Set op −→ BA given by 2 as a schizophrenic object) and study coalgebraic modal logic that is induced by a functor T : Set −→ Set which is finitary, standard, preserves weak pullbacks and finite sets. We prove that for any such T , the cover modality nabla is a left (and its dual delta is a right) adjoint relative to Pω. We then consider monotone unary m...
متن کاملContinuation semantics and self-adjointness
We give an abstract categorical presentation of continuation semantics by taking the continuation type constructor : (or cont in Standard ML of New Jersey) as primitive. This constructor on types extends to a contravariant functor on terms which is adjoint to itself on the left; restricted to the subcategory of those programs that do not manipulate the current continuation, it is adjoint to its...
متن کاملAdjointness between Theories and Strict Theories
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: General Topology and its Applications
سال: 1976
ISSN: 0016-660X
DOI: 10.1016/0016-660x(76)90019-2